RuleBasedIntegration.github.io/NotebookRuleFiles/3 Logarithms/3.1.5 u (a+b log(c x^n))^p.nb at master · RuleBasedIntegration/RuleBasedIntegration.github.io